'A no holdout account of the Falklands War from a man who was in the fight.' Andy McNab Tony Hoare always knew he wanted to be in the SAS and so, after working his way through the ranks, he passed arduous SAS selection in 1978. Less than four years later, Tony and his team were sent to the Falklands, just off the coast of Argentina, where tensions were rising and war was on the horizon. Nothing could have prepared him for what happened over the course of the next 12 weeks, as the Falkland Islands became a battleground between the British and Argentinians. As helicopters crashed and ships sank, Tony battled across treacherous terrain to help reclaim the islands from a fearsome enemy. This is a thrilling account of the Falklands from a trooper who saw it all.

What are the challenges for the current generation of graduate millennials? The role of universities and the changing nature of the graduate labour market are constantly in the news, but less is known about the experiences of those going through it. This new book traces the transition to the graduate labour market of a cohort of middle-class and working-class young people who were tracked through seven years of their undergraduate and post-graduation lives. Using personal stories and voices, the book provides fascinating insights into the group's experience of graduate employment and how their life-course transitions are shaped by their social backgrounds and education. Critically evaluating current government and university policies, it shows the attitudes and values of this generation towards their hopes and aspirations on employment, political attitudes and cultural practices.

'Tony is the real deal.' Andy McNab The full, explosive, boots-on-the-ground story of the Falklands War, from a soldier at the heart of the action, published for the 40th anniversary of the conflict. Tony Hoare always knew he wanted to be in the SAS. Both his grandfather and father had been soldiers, and so Tony signed up for the Cadets at 13, then the Infantry at 17 and enlisted into the Royal Green Jackets before passing arduous SAS selection in 1978. Less than four years later, Tony and his team were sent to a collection of islands just off the coast of Argentina called the Falklands, where tensions were rising and war was on the horizon. No amount of training could prepare Tony for what happened over the course of the next twelve weeks, as the Falkland Islands became a battleground between British and Argentinian forces. As helicopters crashed and ships sank, Tony, at the centre of the action, battled across treacherous terrain and against a fearsome enemy, doing whatever it took to retake the islands. From one of the only soldiers who was on the frontline throughout the entire conflict, this is a thrilling account of what really happened in the Falklands, an explosive story of land, sea and air battles from a trooper who saw it all.

Contrary to what many believe, Alan Turing is not the father of the all-purpose computer. Engineers were, independently of Turing, already building such machines during World War II. Turing's influence was felt more in programming after his death than in computer building during his lifetime. The first person to receive a Turing award was a programmer, not a computer builder. Logicians and programmers recast Turing's notions of machine and universality. Gradually, these recast notions helped programmers to see the bigger picture of what they were accomplishing. Later, problems unsolvable with a computer influenced experienced programmers, including Edsger W. Dijkstra. Dijkstra's pioneering work shows that both unsolvability and aesthetics have practical relevance in software engineering. But to what extent did Dijkstra and others depend on Turing's accomplishments? This book presents a revealing synthesis for the modern software engineer and, by doing so, deromanticizes Turing's role in the history of computing.

Software engineering has over the years been applied in many different fields, ranging from telecommunications to embedded systems in car and aircraft industry as well as in production engineering and computer networks. Foundations in software technology lie in models allowing to capture application domains, detailed requirements, but also to understand the structure and working of software systems like software architectures and programs. These models have to be expressed in techniques based on discrete mathematics, algebra and logics. However, according to the very specific needs in applications of software technology, formal methods have to serve the needs and the quality of advanced software engineering methods, especially taking into account security aspects in Information Technology. This book presents mathematical foundations of software engineering and state-of-the-art engineering methods in their theoretical substance in the step towards practical applications to examine software engineering techniques and foundations used for industrial tasks.

The contributions in this volume emerged from lectures of the 25th International Summer School on Engineering Theories of Software Intensive Systems, held at Marktoberdorf, Germany from August 3 to August 15, 2004.

Edsger Wybe Dijkstra (1930-2002) was one of the most influential researchers in the history of computer science, making fundamental contributions to both the theory and practice of computing. Early in his career, he proposed the single-source shortest path algorithm, now commonly referred to as Dijkstra's algorithm. He wrote (with Jaap Zonneveld) the first ALGOL 60 compiler, and designed and implemented with his colleagues the influential THE operating system. Dijkstra invented the field of concurrent algorithms, with concepts such as mutual exclusion, deadlock detection, and synchronization. A prolific writer and forceful proponent of the concept of structured programming, he convincingly argued against the use of the Go To statement. In 1972 he was awarded the ACM Turing Award for "fundamental contributions to programming as a high, intellectual challenge; for eloquent insistence and practical demonstration that programs should be composed correctly, not just debugged into correctness; for illuminating perception of problems at the foundations of program design." Subsequently he invented the concept of self-stabilization relevant to fault-tolerant computing. He also devised an elegant language for nondeterministic programming and its weakest precondition semantics, featured in his influential 1976 book A Discipline of Programming in which he advocated the development of programs in concert with their correctness proofs. In the later stages of his life, he devoted much attention to the development and presentation of mathematical proofs, providing further support to his long-held view that the programming process should be viewed as a mathematical activity. In this unique new book, 31 computer scientists, including five recipients of the Turing Award, present and discuss Dijkstra's numerous contributions to computing science and assess their impact. Several authors knew Dijkstra as a friend, teacher, lecturer, or colleague. Their biographical essays and tributes provide a fascinating multi-author picture of Dijkstra, from the early days of his career up to the end of his life.

Edsger Wybe Dijkstra (1930-2002) was one of the most influential researchers in the history of computer science, making fundamental contributions to both the theory and practice of computing. Early in his career, he proposed the single-source shortest path algorithm, now commonly referred to as Dijkstra's algorithm. He wrote (with Jaap Zonneveld) the first ALGOL 60 compiler, and designed and implemented with his colleagues the influential THE operating system. Dijkstra invented the field of concurrent algorithms, with concepts such as mutual exclusion, deadlock detection, and synchronization. A prolific writer and forceful proponent of the concept of structured programming, he convincingly argued against the use of the Go To statement. In 1972 he was awarded the ACM Turing Award for "fundamental contributions to programming as a high, intellectual challenge; for eloquent insistence and practical demonstration that programs should be composed correctly, not just debugged into correctness; for illuminating perception of problems at the foundations of program design." Subsequently he invented the concept of self-stabilization relevant to fault-tolerant computing. He also devised an elegant language for nondeterministic programming and its weakest precondition semantics, featured in his influential 1976 book A Discipline of Programming in which he advocated the development of programs in concert with their correctness proofs. In the later stages of his life, he devoted much attention to the development and presentation of mathematical proofs, providing further support to his long-held view that the programming process should be viewed as a mathematical activity. In this unique new book, 31 computer scientists, including five recipients of the Turing Award, present and discuss Dijkstra's numerous contributions to computing science and assess their impact. Several authors knew Dijkstra as a friend, teacher, lecturer, or colleague. Their biographical essays and tributes provide a fascinating multi-author picture of Dijkstra, from the early days of his career up to the end of his life.

Software engineering has over the years been applied in many different fields, ranging from telecommunications to embedded systems in car and aircraft industry as well as in production engineering and computer networks. Foundations in software technology lie in models allowing to capture application domains, detailed requirements, but also to understand the structure and working of software systems like software architectures and programs. These models have to be expressed in techniques based on discrete mathematics, algebra and logics. However, according to the very specific needs in applications of software technology, formal methods have to serve the needs and the quality of advanced software engineering methods, especially taking into account security aspects in Information Technology. This book presents mathematical foundations of software engineering and state-of-the-art engineering methods in their theoretical substance in the step towards practical applications to examine software engineering techniques and foundations used for industrial tasks. The contributions in this volume emerged from lectures of the 25th International Summer School on Engineering Theories of Software Intensive Systems, held at Marktoberdorf, Germany from August 3 to August 15, 2004.